Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
441	Aluminum: Principled Scenario Exploration through Minimality Tim Nelson1 , Salman Saghafi1 , Daniel J. Dougherty1 , Kathi Fisler1 , Shriram Krishnamurthi2 1 Department of Computer Science Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2013-04-15 14:14:29 Logic programming Alloy Analyzer Massachusetts Institute of Technology Relational algebra Circumscription Relational model Alloy Scenario Tuple
442	Computational Logic Herbrand’s Theorem Damiano Zanardini UPM European Master in Computational Logic (EMCL) School of Computer Science Add to Reading List Source URL: costa.ls.fi.upm.es Language: English - Date: 2012-07-17 05:12:14 Mathematical logic Modal logic Term Herbrand interpretation Ground expression
443	Low-level dichotomy for Quantified Constraint Satisfaction Problems Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U.K. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-07-07 11:03:52 Model theory Constraint programming Logical truth Mathematical logic Formal languages Structure Interpretation Satisfiability Substitution Constraint satisfaction problem Complexity of constraint satisfaction Boolean satisfiability problem
444	Towards Diagrammability and Efficiency in Event Sequence Languages Kathi Fisler Department of Computer Science WPI (Worcester, MA, USA) Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2005-05-29 14:49:51 Finite automata Theoretical computer science Formal languages Infographics Linear temporal logic Temporal logic Finite-state machine Diagram Sequence Formal verification Automata theory Bchi automaton
445	PASS LOCATION TO FACILITATE THE DIRECT EXTRACTION OF WARNTZ NETWORKS FROM GRID DIGITAL ELEVATION MODELS David Wilcox and Harold Moellering Department of Geography Ohio State University Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 22:26:33 Cartography Algorithm Mathematical logic Theoretical computer science Robert Haralick Digital elevation model
446	The ecce Partial Deduction System Michael Leuschel K.U. Leuven, Department of Computer Science Celestijnenlaan 200 A, B-3001 Heverlee, Belgium e-mail: Fax: ++at DIKU, Copenhagen) Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:02 Predicate logic Universal generalization
447	Analysis and Transformation of Proof Procedures David Andre de Waal A thesis submitted to the University of Bristol in accordance with the requirements for the degree of Doctor of Philosophy in the Faculty of Engineeri Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Prolog Logic programming Model elimination Mathematical logic E theorem prover First-order logic Lean theorem prover Automated reasoning
448	How invariants help writing loops Author: Sander Kooijmans Document version: 1.2 Why this document? Did you ever feel frustrated because of a nasty bug in your code? Did Add to Reading List Source URL: gogognome.nl Language: English - Date: 2016-07-04 14:55:09 Sorting algorithms Formal methods Theoretical computer science Edsger W. Dijkstra Hoare logic Static program analysis Dutch national flag problem Algorithm Quicksort Recursion Invariant Loop invariant
449	Modular Bisimulation Theory for Computations and Values Martin Churchill and Peter D. Mosses {m.d.churchill,p.d.mosses}@swansea.ac.uk Department of Computer Science, Swansea University, Swansea, UK Add to Reading List Source URL: plancomps.dreamhosters.com Language: English - Date: 2014-11-22 16:20:54 Logic in computer science Theoretical computer science Automated theorem proving Logic programming Bisimulation Substitution Operational semantics Transition system Derivative Permutation Variable -calculus
450	Broad-coverage CCG Semantic Parsing with AMR Kenton Lee Luke Zettlemoyer Yoav Artzi∗ Dept. of Computer Science and Cornell Tech Computer Science & Engineering University of Washington Cornell University Add to Reading List Source URL: yoavartzi.com Language: English - Date: 2016-08-12 04:07:46 Predicate logic Type theory Logic in computer science Computability theory Lambda calculus Combinatory categorial grammar Quantifier Combinatory logic Parsing Free variables and bound variables Weight

UPDATE